From 7c3a60d25ea0f8cf1a6abf614c70a923ee7cb5e8 Mon Sep 17 00:00:00 2001 From: Ian Campbell Date: Wed, 9 Jul 2014 13:07:39 +0100 Subject: [PATCH] xen: arm: dump vcpu gic info in arch_dump_vcpu_info Instead of looping over vcpus in arch_dump_domain_info Signed-off-by: Ian Campbell Acked-by: Julien Grall --- xen/arch/arm/domain.c | 7 +------ 1 file changed, 1 insertion(+), 6 deletions(-) diff --git a/xen/arch/arm/domain.c b/xen/arch/arm/domain.c index 829d49f69e..bb5c810756 100644 --- a/xen/arch/arm/domain.c +++ b/xen/arch/arm/domain.c @@ -747,12 +747,6 @@ int domain_relinquish_resources(struct domain *d) void arch_dump_domain_info(struct domain *d) { - struct vcpu *v; - - for_each_vcpu ( d, v ) - { - gic_dump_info(v); - } } @@ -775,6 +769,7 @@ long arch_do_vcpu_op(int cmd, struct vcpu *v, XEN_GUEST_HANDLE_PARAM(void) arg) void arch_dump_vcpu_info(struct vcpu *v) { + gic_dump_info(v); } void vcpu_mark_events_pending(struct vcpu *v) -- 2.30.2